Counting with Categories (Part 3)
golem.ph.utexas.edu·22h
λLambda Encodings
daily quizzz
dev.to·1h·
Discuss: DEV
λLambda Encodings
The Guide to the Foundation Models Framework
azamsharp.com·40m·
Discuss: Hacker News
🌳Context free grammars
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·7h
📝Concrete Syntax
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
👑Isabelle
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·2d
🔗Combinatory Logic
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Hypercubical manifolds in homotopy type theory
arxiv.org·10h
🔶Cubical Type Theory
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·7h·
Discuss: DEV
🎯Gradual Typing
Proficient Python: Course Overview
proficientpython.com·5h
🔗Concatenative Programming
Ts-Wordle: An implementation of Wordle written in TypeScript types
github.com·19h·
Discuss: Hacker News
🎯Gradual Typing
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·3h·
Discuss: Hacker News, r/programming
🔗Lisp
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Counting with Categories (Part 1)
golem.ph.utexas.edu·2d
λLambda Encodings